Protocol visualization using LOTOS multi-rendezvous mechanism

In this paper, we propose a method for visualizing LOTOS speciications using multi-rendezvous mechanism. For visualization, we have extended LOTOS by introducing some primitive animation events. Using the extended LOTOS, we describe a visualization scenario for events which we would like to visualize their execution. Then, we execute the original speciication and its visualization scenario in parallel under LO-TOS multi-rendezvous mechanism so that the corresponding animation is activated when each event is executed. The pair of the original speciication and its visualization scenario is converted into the multi-threaded object code using our LOTOS compiler. In our visualization method, we can specify the visualiza-tion scenario without modifying the original speciica-tion, and we can derive an object code which animates the original speciication in real time. We have tried to visualize a LOTOS speciication of \Dijkstra's dining philosophers", and evaluated the usefulness of our approach.